9ce36d392d218f4ab6bab5a6483703aba7ce8335,findbugs/src/java/edu/umd/cs/findbugs/detect/FindNullDeref.java,FindNullDeref,foundRedundantNullCheck,#Location#RedundantBranch#,373
Before Change
WarningPropertySet propertySet = new WarningPropertySet();
WarningPropertyUtil.addPropertiesForLocation(propertySet, classContext, method, location);
if (redundantBranch.checkedValue) {
propertySet.addProperty(NullDerefProperty.CHECKED_VALUE);
}
propertySet.decorateBugInstance(bugInstance);
After Change
WarningPropertySet propertySet = new WarningPropertySet();
WarningPropertyUtil.addPropertiesForLocation(propertySet, classContext, method, location);
if (isChecked)
propertySet.addProperty(NullDerefProperty.CHECKED_VALUE);
if (wouldHaveBeenAKaboom)
propertySet.addProperty(NullDerefProperty.WOULD_HAVE_BEEN_A_KABOOM);
propertySet.decorateBugInstance(bugInstance);